121. Sets,logic,& axiomatic theories
پدیدآورنده : STOLL,ROBERT R
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
3
.
S78
1974
122. Sets, models and recursion theory : Proceeding of the Summer School in Mathematical Logic and of the Tenth Logic Colloquium, Leicester, August-September, 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S847
123. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
124. Technical methods in philosophy /
پدیدآورنده : John L. Pollock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990
125. The logic of Infinity /
پدیدآورنده : Barnaby Sheppard
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
126. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
127. Toposes and local set theories: an introduction
پدیدآورنده : / J.L.Bell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Toposes,Set theory,Logic,symbolic and mathematical
رده :
512
.
55
B433t
128. مقدمه‌ای بر نظریه‌ی اصولی مجموعه‌ها
پدیدآورنده : / تالیف عبدعلی کوچک پور، مهرداد نامداری.,کوچکپور
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : نظریه اصولی مجموعه‌ها,Axiomatic set theory,منطق ریاضی,Logic, Symbolic and mathematical,a06,a06,a08,a08
رده :
QA
۲۴۸
/
ک
۹
م
۷ ۱۳۹۴
